Trait isotope::ctx::eq::TermEqCtx[][src]

pub trait TermEqCtx: TermEqCtxMut {
    fn term_eq(&self, left: &Term, right: &Term) -> Option<bool>;
fn is_ty(&self, ty: &Term) -> Option<bool>;
fn universe(&self, ty: &Term) -> Option<Universe>; }
Expand description

A type which may be used as a context for checking isotope terms for equality

Required methods

Check two terms are equivalent within this structure

Check whether this term is equivalent to a type in this context

Get a term’s universe in this context

Implementors